An Algorithm for the Solution of Fixed-Point Equations for Infinite Words

— The solutions offixed-point équations for generalized (infinité) mords have previously been obtained asfrontiers of infinité trees. An algorithm is given which computes an explicit solution using a shuffle opération on words. This solution can be proven equal to the previous one so that the structure of the frontier s of infinité trees is completely analyzedfor those context-free grammars which contain exactly one production rulefor each syntactic variable. Résumé. — On sait que les solutions d'équations au point fixe pour les mots généralisés [infinis) peuvent être obtenues comme frontières d'arbres infinis. Dans cet article, on donne un algorithme qui calcule une solution explicite grâce à une opération de mélange (shuffle) sur les mots. On peut montrer que cette solution est égale à la précédente, de sorte que la structure des frontières d'arbres infinis est complètement élucidée dans le cas des grammaires algébriques ayant exactement une règle de réécriture pour chaque variable syntactique.